41. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
689
42. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
1019
43. Cabal Seminar 77- 79 : proceedings, Caltech-UCLA Logic Seminar, 77- 79
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical- Congresses ► Set theory- Congresses ► Recursion theory- Congresses
Classification :
511
C112
44. Cabal seminar 77-79
Author: / edited by A.S. Kechris, D.A. Martin, Y.N. Moschovakis
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Set theory -- Congresses,Recursion theory -- Congresses
Classification :
QA
248
.
C35
1977
45. Conceptual models in mathematics: sets, logic and probability
Author: Hirst, Keith Edwin.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical,، Probabilities
Classification :
QA
248
.
H55
46. Direct and converse theorems
Author: I. S. Gradshtein ; translated from the Russian by T. Boddington.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms.,Logic, Symbolic and mathematical.,Set theory.
47. Elementary end extensions in model theory and set theory
Author: by: Shahram Mohsenipour,^AMohsenipour, Shahram
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Model theory,Set theory
48. Elements of logic and foundations of mathematics in problems, Elementy logiki i teorii mnogosci w zadaniach. English
Author: Marek, Wiktor.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
M31913
1982
49. Elements of set theory
Author: / (by) Peter W. Zehna (and) Robert L. Johnson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
3
.
Z45
1972
50. Equality, resemblance and order
Author: / Ju.A Schreider
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
QA
9
.
S53
1975
51. Equality, resemblance, and order
Author: / Ju. A. Schreider,Schreider
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory
Classification :
BC135
.
S3
52. Finite and infinite combinatorics in sets and logic
Author: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
QA
164
.
N38
1991
53. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
Author: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
Classification :
QA
164
.
N38
1991
54. Foundations of computing : system development with set theory and logic
Author: Scheurer, Thierry
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، System design,، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
.
S29
1994
55. Foundations of computing : system development with set theory and logic
Author: Scheurer, Thierry.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design , Set theory , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
S29
1994
56. Foundations of logic and mathematics
Author: / Yves Nievergelt
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Set theory,Number theory,Computer science -- Mathematics
Classification :
QA
9
.
N53
2002
57. Foundations of logic and mathematics : applications to computer science and cryptography
Author: Yves Nievergelt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
Classification :
QA
9
.
N5
58. Foundations of logic and mathematics: applications to computer science and cryptography
Author: Nievergelt, Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
Classification :
QA
9
.
N53
2002
59. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
60. Fundamentals of mathematical logic /
Author: Peter G. Hinman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
Classification :
QA9
.
H527
2005
